Skip to content

Conversation

GrigorenkoPV
Copy link
Contributor

A follow-up to rust-lang/rust#121556

@rustbot
Copy link
Collaborator

rustbot commented Feb 24, 2024

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Amanieu (or someone else) some time within the next two weeks.

@Amanieu Amanieu merged commit 6daeb66 into rust-lang:master Feb 24, 2024
@GrigorenkoPV GrigorenkoPV deleted the addr_of branch February 25, 2024 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants